# -*- mode: snippet -*-
# name: Set Tactic Evars Pattern Unification
# --
Set Tactic Evars Pattern Unification
